package de.hauschild.dbc4j.example;

import de.hauschild.dbc4j.annotation.Contracted;
import de.hauschild.dbc4j.annotation.PostCondition;
import de.hauschild.dbc4j.annotation.PreCondition;

@Contracted
public class SimpleArgumentContract {

  @PreCondition("agrs[0] != null && args[1] != null")
  @PostCondition("result != null")
  public Integer add(final Integer a, final Integer b) {
    return a + b;
  }
}
